@red: tomato;
div {
    color: @tomato;
    top: @@foo;
}
